An Analysis of Systematic Approaches to Reasoning about Actions and Change
نویسنده
چکیده
Systematic approaches to reasoning about dynamical systems and causality provide a new view on how to proceed toward a general and uniform semantical framework which is independent from specific solutions to the frame problem, say. This direction of research enables to rigorously comparing known methodologies designed for reasoning about actions and change with respect to such a semantics. Two actual systematic approaches, namely the Ego-World-Semantics and the Action Description Language , are analyzed and compared in this paper. We present two equivalence results for ontological subclasses and elaborate the major differences. The ultimate aim of this analysis shall be a proposal about a combination of the two frameworks to obtain a powerful semantics which profits from the merits of both the Ego-World-Semantics as well as the Action Description Language.
منابع مشابه
What definition of information would be emancipatory one?
Background and Aim: Human-information interaction, either in every day life or in research approaches, depends on pre-assumptions about “what information is”. Sometimes this pre-assumptions become axiomtic in a way that we must return to primary concerns about them to explore new social phenomenas. Information as an object is one of pre-assumptions. In this paper, the mentioned pre-assumptions ...
متن کاملPlanning, Truth Criteria and the Systematic Approach to Action and Change Planning, Truth Criteria and the Systematic Approach to Action and Change
This paper presents an analysis of partial-order planning based on Sandewall's systematic approach to reasoning about action and change. The partial-order planner tweak is analysed and reconstructed. The main result is a temporal logic-based version of the criterion for necessary truth in tweak plans. In a second step, the tweak truth criterion is extended to deal with context-dependent and non...
متن کاملFuture study of Description System Architecture Approaches with Emphasis on Strategic Management
Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...
متن کاملReasoning about Actions and Change with Ramiication
The systematic approach to nonmonotonic logics of actions and change attempts to identify, for each proposed logic, what is its range of applicability relative to a precise deenition of intended models. The article describes the concepts and methods that are used in this approach, and examples of assessed range of applicability for a few of the previously proposed logics in the case of strict i...
متن کاملAddressing Health Equity Through Action on the Social Determinants of Health: A Global Review of Policy Outcome Evaluation Methods
Background Epidemiological evidence on the social determinants of health inequity is well-advanced, but considerably less attention has been given to evaluating the impact of public policies addressing those social determinants. Methodological challenges to produce evidence on policy outcomes present a significant barrier to mobilising policy actions for health equities. This review aims to exa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993